package psd.model.Prolog.Converters;

import org.eclipse.jdt.core.dom.SwitchCase;

import psd.model.IConverter;
import psd.model.Prolog.FactGenerationToolbox;
import psd.model.Prolog.PrologConverter;


public class PrologSwitchCaseConverter extends PrologConverter implements
IConverter<SwitchCase>{

	public PrologSwitchCaseConverter(FactGenerationToolbox toolbox) {
		super(toolbox);
	}

	@Override
	public boolean convert(SwitchCase node) {
		String args[] = {
	            idResolver.getID(node.getExpression())
	        };
	        createBodyFact(node, "caseT", args);
	        return true;
	}

}
